The F# 4.0 Language Specification Note: This documentation is the specification of version 4.0 of the F# language, released inDiscrepancies may exist between this specification and the 4.0 implementation. Som

Source URL: fsharp.org

• Functional languages
• Object-oriented programming languages
• Data types
• Parsing
• Type theory
• F Sharp
• Lexical analysis
• Type system
• OCaml
• Anonymous function
• Scala
• Type inference

D Programming Language Specification i This is the specification for the D Programming Language. For more information see dlang.org.

Source URL: dlang.org

The Java™ Language Specification The Java™ Series Lisa Friendly, Series Editor Bill Joy, Technical Advisor

Source URL: titanium.cs.berkeley.edu

• Cross-platform software
• Java
• Concurrent programming languages
• Object-oriented programming
• C++
• Constant
• Class
• C Sharp
• Literal
• Constructor
• C++ classes
• Inheritance

Specware 4.2 Language Manual Specware 4.2 Language Manual Copyright © by Kestrel Development Corporation Copyright © by Kestrel Technology LLC All rights reserved

Source URL: www.specware.org

• Software engineering
• Computing
• Computer programming
• Formal languages
• Theoretical computer science
• Notation
• Programming language
• Specification
• Category
• C
• Regular expression
• Web Ontology Language

ARSENAL: Automatic Requirements Specification Extraction from Natural Language Shalini Ghosh1 , Daniel Elenius1 , Wenchao Li1 , Patrick Lincoln1 , Natarajan Shankar1 , Wilfried Steiner2 1

Source URL: arxiv.org

• Logic
• Abstraction
• Software
• Predicate logic
• Compiler construction
• Computational linguistics
• Natural language parsing
• Programming language implementation
• Parsing
• Natural language processing
• Dependency grammar
• Domain-specific language

Towards a proposal for datatypes in E-LOTOS Source: Belgium∗, France†, Romania‡, United Kingdom§ Output document of ISO/IEC JTC1/SC21/WG7 ‘Enhancements to LOTOS’ Ottawa meeting, July 1995

Source URL: ect.bell-labs.com

• Software engineering
• Computing
• Computer programming
• Type theory
• Procedural programming languages
• Process calculi
• Data types
• Synchronization
• Language Of Temporal Ordering Specification
• Standard ML
• E-LOTOS
• ML

PDF Document

Source URL: www.kestrel.edu

• Formal methods
• Specification language
• Refinement
• Abstract state machines
• Specification
• Object Process Methodology
• Domain-specific language
• Programming language
• Integrated circuit design
• Formal specification
• Isabelle
• Program derivation

ESV4Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core Language

Source URL: www.etsi.org

• Data types
• C++
• Type theory
• Computer languages
• Procedural programming languages
• TTCN-3
• TTCN
• Type system
• Subtype polymorphism
• Software engineering
• Computing
• Computer programming

eTaSL/eTC: A constraint-based Task Specification Language and Robot Controller using Expression Graphs Erwin Aertbeli¨en and Joris De Schutter Abstract— This paper presents a new framework for constraint-based task sp

Source URL: www.factory-in-a-day.eu

• Computer programming
• Mathematical optimization
• Constraint satisfaction
• Operations research
• Quadratic programming
• Slack variable
• Ada
• Constraint Composite Graph
• Constraint logic programming
• Constraint programming
• Software engineering
• Computing

Why Has The OSGi Specification Been Based On Java Technology?

Source URL: www.osgi.org

• Compiler construction
• Cross-platform software
• Java programming language
• OSGi
• Interpreter
• Just-in-time compilation
• Java
• Porting
• Interpreted language
• Computing
• Software
• Programming language implementation